Checking data integrity
eclecticlight.co·1d
✅Checksum Validation
Python Fundamentals: case
dev.to·5h·
Discuss: DEV
✅Format Verification
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·4h·
Discuss: Hacker News
🤝Distributed Consensus
Storage advice wanted for my homelab
reddit.com·3h·
Discuss: r/homelab
🏠Homelab Preservation
Issue 481
haskellweekly.news·6h
🔗Functional Compilers
Thoughts on edent's 'We've got to stop sending files to each other'
neilzone.co.uk·3h
✅Document Verification
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·14h
🔐Quantum Security
Why We Develop EloqDB Mainly in C++
eloqdata.com·3h·
Discuss: Hacker News
🦀Rust Borrowing
Highlights and features: Q&A with Experts
ica.org·5h
🔄Archival Workflows
Courts Favor Targeted eDiscovery Collections, but It Is Up to In-House Teams to Enable Such Cost Saving Proportional Efforts
blog.x1discovery.com·1d
⚖️Legal Compliance
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·2h
🔐Quantum Security
Adoption agency leaks over a million records
malwarebytes.com·3h
🔤EBCDIC Privacy
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·6h
🦀Rust Macros
EchoVaults - Digital Vaults for loved ones in emergency situations.
echovaults.org·19h·
Discuss: Hacker News
🏠Personal Archiving
Gradual negation types and the Python type system
jellezijlstra.github.io·11h·
Discuss: Hacker News
🔬Refinement Types
We've got to stop sending files to each other
shkspr.mobi·6h·
Discuss: Lobsters, Hacker News, shkspr.mobi
🏠Personal Archives
A distributed systems reliability glossary
antithesis.com·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
A Wide Reduction Trick (2022)
words.filippo.io·15h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Quicksilver v2: evolution of a globally distributed key-value store (Part 2)
blog.cloudflare.com·5h
🔄Sync Engine
Family Archives and the Holocaust
medium.com·2d
📜Family History Data